The next 700 reflective object-oriented languages
نویسندگان
چکیده
Since Smith seminal work, there have been numerous reflective language definition and implementation proposals. These proposals, initially restricted to functional languages, have been quickly extended to object-oriented languages. Unfortunately, reflective objectoriented language definitions remained mostly ad hoc. In this paper, we present a generic reification technique which enables the selective reification of arbitrary parts of object-oriented language interpreters. Our program transformation can be applied to different interpreter definitions. Each resulting reflective implementation provides a different meta-object protocol based on the original interpreter definition. This technique paves the way to a systematic study of reflective object-oriented language implementations. Technical report no.: 99-1-INFO
منابع مشابه
Reflection for Statically Typed Languages
An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilities in object-oriented languages are either complex, type unsafe, or have a large performance penalty. We propose a simple, easy-to-understand, and statically typed model that captures much of the functionalities of other reflect...
متن کاملTowards Linguistic Symbiosis of an Object-Oriented and a Logic Programming Language
Reflective systems have a causally connected (metalevel) representation of themselves. Most reflective systems use the same language to reason about their metalevel representation as the language that is used to reason about their domain. In symbiotic reflection a different language is used at the metalevel. The practical usability of this symbiotic reflection is enhanced if a linguistic symbio...
متن کاملDesign of a Multi-Level Reflective Architecture for Ambient Actors
Ambient-Oriented Programming (AmOP) languages are especially designed for software development for pervasive and ambient computing. In this context, reflective abilities are highly desired to be able to create adaptive software. In this paper, we propose a multi-level reflective architecture for ambient actors, instantiated in the AmOP language AmbientTalk. Our architecture is structured accord...
متن کاملReflective Extension of Object Constraint Languages, Sustainable Constraint Writing and a Symbolic Viewpoint of Modeling Languages
In this technical report we show how to extend object constraint languages by reflection. We do this in terms of the concrete OMG language stack. We extend the OCL (Object Constraint Language) by operators for reification and reflection. We give precise semantics to the extended language OCLR by giving the necessary type derivation rules and value specifications. A driving force for the introdu...
متن کاملMetalevel Facilities for Multi-Language AOP
Providing metalevel facilities in object-oriented languages has been studied and has resulted in the formulation of a set of design principles advocating the use of mirrorbased reflective APIs. In this paper, we explore the provision of metalevel facilities in the context of aspect-oriented programming, more precisely by considering multi-language AOP: different aspect languages are available t...
متن کامل